Satisfiability problem - theory and application
- Författare
- (Edited by Ding-Zhu Du, Jun Gu and P. K. Pardalos)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| American Mathematical Society | 1997 | USA, Providence, R.I | 784p. | 0-8218-0479-0 |